$\forall$${\it da}$:fpf(Knd; $k$.Type), $l$:IdLnk. normal{-}da\{i:l\}(${\it da}$) $\Rightarrow$ normal{-}ds\{i:l\}(es{-}dt($l$; ${\it da}$))